Словарь по логике - интенсионал и экстенсионал

понятия, введенные австрийским логиком и философом Р. Карнапом для анализа значения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если для Фреге исходным и основным было понятие имени, то Карнап скорее ориентировался на роль прилагательных он анализировал предикаты. Утверждение "Сократ человек" можно трактовать двояко. Можно считать, что это утверждение приписывает Сократу некоторое свойство "быть человеком". В то же время данное утверждение можно рассматривать как говорящее о том, что индивидуум Сократ включается в класс людей. Этот пример показывает, что предикат, в данном случае "человек", может обозначать как свойство, так и класс. Классы и свойства взаимосвязаны: каждое свойство задает некоторый класс и каждому классу соответствует некоторое свойство. Объекты, обладающие свойством "быть человеком", образуют класс людей; с другой стороны, класс людей характеризуется тем, что входящие в него элементы обладают свойством "быть человеком". Класс, задаваемый некоторым свойством, может быть и пустым.

Большую роль в концепции Карнапа играет понятие эквивалентности. Два класса эквивалентны, если они состоят из одних и тех же элементов. Два предиката эквивалентны, если они обозначают один и тот же класс. Класс, обозначаемый предикатным выражением, называется Э. этого выражения. И. предикатного выражения Карнап называет выражаемое им свойство. Напр., Э. предиката "человек" является класс людей; его И. будет свойство "быть человеком". Предикаты "человек" и "существо, имеющее мягкую мочку уха" будут экстенсионально эквивалентны, т. к. обозначают один и тот же класс. Предикаты "человек" и "существо, способное производить орудия труда" не только экстенсионально, но и интенсионально эквивалентны, т. к. обозначают один и тот же класс и выражают одно и то же свойство.

Поскольку два предложения являются эквивалентными в том случае, когда имеют одинаковое истинностное значение,  постольку Э. предложения целесообразно считать его истинностное значение. И. предложения является выражаемое им суждение, мысль. Э. собственного имени Карнап считал предмет, обозначаемый этим именем; И. имени является концепт индивидуальное понятие. Понятия Э. и И. лежат в основе различения экстенсиональных и интенсиональных контекстов. Экстенсиональными контекстами называют множества утверждений, в которых взаимозаменимы экстенсионально эквивалентные языковые выражения, т. е. которые учитывают лишь Э. выражений. Интенсиональный контекст допускает замену только интенсионально эквивалентных выражений, т. е. для него важны И. выражений (см.: Имя, Смысл, Значение).